perm filename CAL[1,JMC]27 blob sn#795987 filedate 1985-06-14 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1984
C00018 00003	1985
C00032 00004
C00037 ENDMK
CāŠ—;
1984
05-31	11am, Abadi oral

	4:15 Kreisel
06-04	MOnday, Hoover reception, 5:30-7pm

	noon, Comprehensive Committee, MJH 301
06-05	Tues., 2:30 Senior Faculty

06-06	Konolige thesis deadline
	10am, SRI meeting on common sense summer
	ai quals, 3pm - 6pm

06-07	Thurs., Livermore, by 11:30am

	1:30 SRI, my lecture on blocks world
06-08	Fri., Peter Kaiser, Vienna TV, c/o Frank Kemp, USIA, 202 376-7804
 
	Sunday, twa 60 9:15, 5:32, SFO to Boston
	Saturday, UA 95, 9:55AM - 1PM
06-11	thru 15, W.G. 2.2, Endicott House, M.I.T., Jack Dennis 617 253-6856
	Nonimperative Languages and implementation concepts
	Modifying programs without reading them.  Perhaps also CBCL.
	m.i.t. between 4 and 6:30, Joyce Chen,
	40 min. from Logan Airport, endicott , Haven Road, Dedham
 	201, 545 Tech Square, dennis%mit-xx
	326-5151

	10am, SRI, Common sense, Leslie Pack
06-18	Monday, 11am, Geo. Johnson, NYT Books, 714 536-3465

	msg.msg[jnk,jmc]/248p
06-19	-21, CSLI Workshop on Practical Reasoning and Planning, Redwood G-19
	Tues. lunch and banquet
	Wed. lunch
	Thu. lunch, reply by June 12 to Eve Wasmer or Nancy Steege 7-2547

06-21	4pm, Vladimir Lifschitz

	Hotel reservations requested 24 thru 29
06-25	thru 29, Paris and Marseilles, tentative
	Devaquer, prof. of chemistry, contact via Irving Brown's office
	sec'y = Simone Facotti

06-27	to 29 Logic conference in France, didn't go

07-02	to 6 July, Logic Programming in Uppsala, panel invite from Sten-Ake
	didn't go

07-05	Thursday, ballet
07-08	Monday, 1pm book meeting, 2:30 Rohit Parikh, knowledge
	5:15 sec'y interview

	9am, Jerry Hobbs, his paper
	10am, Common sense in EK242. SRI
07-11   Wed 12:15 lunch with Fikes and Claudia Mazzetti, A la Carte
        Fikes no. 853-5557

	CSLI site visit lunch
07-12	Thursday, ballet

07-13   Interview, secretary, 2 p.m.

	Sato arrives till December 15
07-18	wed, Campbell dinner, 6:30pm, recept., 7:00pm dinner

07-19	Thursday, Inference board (remember to ask about Schlumberger and TI SMP)
         1 p.m.

	Sunday at 7p, dinner at Hurds'
07-22	to 25, Ito will be here.
     
07-23   SFO-DC  UA 58Y  Lv 2:00 pm  Ar 9:50 pm  Reservation Arlington Hyatt
	seat 21D
       
	We'll see ohlander and squires at 12:30 at DARPA.
07-24	Tue, Meeting with Kahn, Smith, etc. in Washington

        DC-NYC  PanAm #64 Lv 7 pm  Ar 8:10 pm  Reservations NY Sheraton.  
                                               Car rental reserved
07-25	Yorktown Heights with RPG

07-26   NYC-SFO  PanAm #5  Lv 10am  Ar 12:50 pm

08-01	UA58,2pm seat 11A, arr. 9:50pm,1 Wash. Circle Hotel
08-02	and 03, Thursday, Fri, Working Group on Nuclear energy, Washington
	9am se2 board, 10am se2 associates, 2pm wg
08-03	UA57, 5:30 - 8:05pm

	Hyatt Austin, 512 477-1234
	Delta 118V 950 to 250 Dallas, Delta 1054V 351 to 435
08-05	Sunday, to 8th, Lisp conference, Austin Jester Center, 21st and Speedway
	Claudia: 512 471-7711, 476-6171

08-06	Mon to 10 fri, AAAI, Austin, technical program, 7-10

08-07	Tuesday, 6:15, Common Lisp on ambiguities

	7:30am, Ney Room, Villa Capri, publication committee
	3:35pm, Chair publisher's prize session, Concert Hall
08-08	7pm, dinner, AAAI exec, 8pm meeting, Concert Hall Green Room

08-09	11am, Presidential Address, Concert Hall

08-10	Delta 1074 and 347, 7:30pm - 10:10pm

08-11	Saturday noon, lunch with Hurd and others msg.msg[1,jmc]/174p

08-15	Wed.  III Board

08-13	to 26th Sarah night 322-9771

08-17	Oxford people, msg.msg[1,jmc]/170p

08-19   Eastern 66,13:20 18:55.Return 8-20 E 69, 17:50 19:30.Hotel:Hilton Hobby.

08-20	Inference show for NASA Houston

08-21   2:00 Byron Davies appt.

08-22	Wed noon to 5pm 24, Concurrent planning workshop, georgeff%sri-ai
	Reasoning about cooperating agents and concurrent processes
	Monterey Dunes, cooper[e84,jmc], See current events file.
	Didn't go.

08-26	and 27, Sarah at 851-8521, Kelly

08-27	Common sense lunch		                    TIME:  12:00 noon
                    PLACE: Yuen Yung

08-28	Shigeki Goto arriving.

08-30	Thu. III Finance and planning
	SF-LA United 1111 12:oo arrive LA 1:12
	Hotel reservation: Howard Johnson 213 641 7740. Free limousine.

08-31	Fri. III Board
	SJ-LA PSA 164 8:30 arrive LA 9:30.
	LA-SJ PSA 361 2:30 arrive SJ 3:25. Pick up tickets at PSA counter.

09-04	Berkeley, Cognitive Science Seminar, 11am - 2pm, debate with Searle
	240 Bechtel, Len Talmy, 644-1064, talmy@ucbkim

09-05	Wed. Inference business meeting

09-11	Lunch with Spencer

09-12	3pm Subramanian

09-12	2p, Lifschitz, terminal by then if possible

	11am, call Chien with Jussi
     	real deadline for Non-monotonic paper to AAAI office
09-17	Monday, Inference board, 1pm
	L.A. to Paris

09-18	Tues. and 19, DARPA meeting on Common Lisp, Monterey. will miss it.

09-22	Paris, Centre Mondial Scientific committee

09-25	Berkeley, Common Sense, c/o Len Talmy
	msg.msg[1,jmc]/367p

09-26	reception for new students, sunset

09-27	Thurs. first class, ERL 320

09-28	Ohlander back
	2pm Ashok maybe

280s, exit 7th st. 2L turns under 280, N on 7th deadends at San Carlos,
	1/2 block before L into parking garage, take far R to employees
	entrance, park anywhere, Duncan 135, Duncan is immediately to W
	of Parking garage, must go around.  135 entered from S side.
	If early Macquarrie, N. of garage, 2nd floor, math office.
10-01	Monday, 5:30pm, panel on
	"Survival and Prosperity--how should computers help us?"
	 e84.in[let,jmc]/371p,e84.in[let,jmc]/373p

        Tues. 5:30-7:00pm, cocktail party,Venrock Associates opening their
        West Coast Office. Held at Hyatt Rickys', Palo Alto.

10-04	Thurs, 2:30, senior faculty

10-05	Denelcor, Denver
        SJ to Denver United 288 8:23 arrive 11:40. 
        Denver to SJ United 425 5:43 

10-08	Monday, 2p, PARC, Kurzweil demo, postponed

10-09	Tues. 3:15, First meeting, CSLI Thought, action and the common
	sense world, Project F4, forgot it.

10-10	Wed., 11:30, lunch with Hurd and Nils at Chantilly

10-11	3:15 Academic Senate

10-12	10am, MAD Computer, 101S, Montague exp, St. after N 1st, Zanker,
	2950 Zanker Rd., R on Zanker, 1st bldg on L, 408 943-1711
	1pm Lifschitz

10-15	Monday, 10am, Anthony Trojanowski and Russell Rose,
	(703) 883 4734 re: their project  of reasoning from uncertain knowledge

10-16	TWA 44, 10pm-6:03, Kennedy

10-17	10-19, Wed.-Fri., Conference on Non-monotonic reasoning, Mohonk, NY.
	Workshop will be held in Mohonk Mountain House. For travel 
	assistance contact Vicky Goff at 800-223-3855 or 215-568-6655.
	They requested that your room be ready before normal check-in time
	(4:00).  In case it is not, your luggage will be held until it is.
	Mailed room reservation form and $200.00 check on 9-5-84.

10-21	Piedmont 1741, Kennedy 9:50pm - 10:59pm
	
10-22	to 26, Mathematical Logic and Theoretical Computer Science
	U. of Maryland, Logic and AI with Barwise, L. Henschen, Reiter, van Emden
	The mathematics of circumscription. Abstract to PERLIS@MARYLAND.

10-24	Wed to 26, Marseilles colloquium on AI, see current

10-31	Wednesday, 4pm, Philosophy and AI, Friedman, 916 752-0607,$500
	lunch, general scientific audience

10-01	Holiday Inn, 8:30, 9am, 2:30 language session, reception 6pm
	2:30 Senior Faculty

11-01	Quintus dinner at Faculty Club, c/o Hurd.

11-02   Reception  6:30 and dinner 7:30 Stauffer Auditorium, Hoover. 

11-05	or 6, Guide, Floyd Kelly, 214 457-7173, declined

11-06	Tues. 3:15, F4 meeting, Ventura

11-08	Thurs. 3:15 Academic Senate.

11-10	Dantzig banquet, Faculty Club $20, Gail Stein, O.R. 7-1305
	7pm, symposium, all day Terman

11-11	Sunday, Sjodin party, 713 Alvarado Row, 3pm

11-12	Monday 3:15, Jeff Glaza about his thesis proposal

11-13	Tuesday, 2:30 Carolyn oral

11-14	Wed., law and computers, Some expert systems need common sense.
	room 272, Law School, 4:15

	lunch and after
11-14	CIS sponsors, Meindel 7-1013, same talk, 45 min, Louise Peterson 7-2931

11-15	Thursday, 10:30 meeting with Dr. Bill Hogan from Honeywell re joint
        venture research

11-15	CSLI seminar

	11am, kmp@mc, Mermaid 323-9481, rm 28
11-16	Friday 6pm, Goto and Sato dinner msg.msg[1,jmc]/334p

11-19   Monday, meeting with Bill Spencer and Mike Genesereth, 2:30.

	9am, appointments and slots, chez Golub
11-20	Tuesday, 2:30 F4, Ventura

11-21	Wed.  Mark IIb Design review, Livermore

11-26	Monday 10am, MAD Computer with RPG

	CSLI Principals' meeting
11-27	tue    27 nov 20:00 Kovanshchina SFO
	Synapse, 3-5,here

11-28   Wed., 1pm, Inference Board meeting

	9am, x-rays and dental
11-29	Thurs, 3:15 Faculty Senate

11-30	Fri, to 12-02 Sun., Citizen's Advisory Council on National Space Policy

12-03	Monday, 2:15 pm, Malachi orals

12-04	Tuesday 10am, with Les, Carolyn, RPG, proposal
The next F4 meeting will be Tuesday, Dec. 4, at 3:15 in the Ventura

12-05   Wednesday, III board meeting, 10:00 am

12-06	11:30 Kuroyanagai, Goto, Sato

	lunch noon Strategic Decisions Group, 3000 Sand Hill Rd. bldg 3
	854-9000, with Nafeh and Ron Howard, suite 150
12-07   Friday,1:00 pm, meeting with John Nafeh, MAD Computer.

12-11	Tuesday noon, AAAS lunch with election postmortem by Lipset

12-12	Wed. 11am, visit Silma, Foothill L on Arboretum next to Supermarket
	2nd floor.

12-13	thurs, 2:30 Senior Faculty
	7-10pm, CS206 final

	10am, Gordon Bell
	12 lunch with Jim Adams about VTSS course
12-14	4pm, Fateman there, 519 Evans

	10:30 Fateman
12-20	
	1:45pm, Muse 872C from San Jose, arr. Austin 7:30

12-21	Friday, MCC, also UT
	reservations at the Brookhollow N. W., 8888 Tallwood, 343-0008,
	Saturday AM, American 139Y, 9:24am-1009Dallas, 11:15 AA127, 12:58
	lunch with Susie, Dan and little K

1985
01-02	Wed, 4:30 Les

01-07	Monday, 2pm-5pm, Tom Gefell, make up incomplete
	2pm, Sequent
	F4, Mondays from 1:15 to 3:15 beginning on January 7.

01-08	Tuesday, Faculty meeting
	4:30pm, Lifschitz

01-09	Wed, 2:45, Bartlett dentist
	James O. Bartlett,DDS, periodonal evaluation
	850 Mddlefield, 326-1400, just S. of Homer, parking in back
	group 3365
	1pm Berkeley, parallel symbolic computation

	2:30 Senior Faculty
01-10	Thurs, Senate

01-11	10am, Friday Inference Advisory

01-12	and 13, sat and sun, 1985, ASL in Anaheim, one hour lecture
	12th at 10:45, title: Non-monotonic reasoning, use transparencies
	Kechris, Alexander, (home: 213 397-6975) (office: 818 356-4335)

01-15	Tues. 9:45, Bartlett

	3:30 csli tea
01-16	Wed, 7:55pm, Continental 117 from Houston, 101 to Houston
	Carolyn return

01-17	Thurs. 4pm, MAD

01-18	Friday, 11am, Pat Hayes, chez Tenenbaum, 851-8608
	noon, Jan Komorowski, 494 4855

01-21	Monday, noon, lunch with Goto

	10am, possible meeting with HPP
01-22	Tuesday 3:30, Waltuch

	10am, Bartlett, cancelled
01-23	12, Chez Louis, 212 350-8125, Michel Gouilloud, 858-6100
	4170 El Camino, Palo Alto, 493-1660

01-24	Thurs, Senate

01-28	2pm, Jack Harper, has parallel Lisp to sell, (303) 450 0793

01-30	Leave SF 5:30pm PAN AM 124. Arrive London 11:25. Leave London British Air
	604 at 2:20pm arrive Vienna 5:30pm.  Leave Vienna 2/2 PAN AM 77 9:40am,
	arrive JFK 2:20pm. Leave JFK PAN AM 67 4:20pm, arrive SF 7:24pm.

01-30	and 02-02 Wed thru Fri, Zemanek, Cliff Jones, 61 273-7121 ex 5018, 5pm
	(61273 4470 night office) (home: 625 52 29 52)
	Zemanek
	(my talk: Friday, Feb 1, 9 to 10am)

02-02	this week, David Jenks

02-06	Victor Briabrin, Vladimir Mazourick and Gennady Borisovich Kochetkov
	thru 10th, Glass Slipper Motel, 493-6611

02-07   Inference board meeting, missed it.

02-07	Thurs, Senate, Senior Faculty

02-11	Monday, 1:15 F4 to 3:30

	Tues. 9:30, DOE, 1333 Broadway, Oakland, Wells Fargo Bank Bldg, 6th floor
	Jessie Monroe, 273-4216
	Broadway exit from 17, 14th and Broadway
02-12   2:30 AI faculty meeting
	4:15 Nils on triangle tables
	6pm, Forum buffet

02-13	Wed. chair forum session
	pm, Marc LeBrun and/or Gosper will install Macsyma

02-14	Thurs. 11:45, Bukovsky, faculty club

        San Jose to Austin, Muse Airlines 872 depart 3:15pm arrive Austin 9:00pm
        Austin to San Jose, Sunday, 2/17, America West 111,
	depart Austin 2:10pm, arrive San Jose 4:35pm

02-15	Friday and 16 Saturday, MCC

02-18	Monday, 4pm, Carolyn and Les

02-19	DOE, 2nd round, Paul McGuire, 273-4216

02-20	Wed., III Board, L.A.
	SJ to LA PSA 164 8:30am.
	LA to SJ PSA 465 4:00pm

02-21	Thurs. CSD Facilities, msg.msg[1,jmc]/393p
	Senate

	AAAI lunch faculty club, 252 AAAI strategy meeting
02-22	Fri, Nilsson dinner

02-25	Mon. 3pm, Search Committee, chairman's conf. room

02-26	Tues. 3:30pm, Louis Lerman thesis group, 111 Mitchell
	dinner with Lerman and Friedlander

	11, Waltuch
02-27	Wed. 2pm, Circumscription seminar

02-28   Meeting 11:00 John Nafeh (MAD)
      	Thurs. Carolyn returns
	Driskill hotel, 512 474-5911

03-01	Fri. noon, Chemistry Gazebo, Ginsberg on counterfactuals

03-05	Tuesday, 7ish, Bukovsky
	2:35pm, Carolyn Caddes, 321-2616 photographer
	3pm, Search committee?
	4:15 David Warren colloquium

03-06	wed 2pm, Lifschitz, Computing circumscription
	3pm, Kathleen Kells

	2:30 Senior Faculty
03-07	Thurs, Senate
	de Carlo, 11am, 707 224-5021

03-08	Fri. tail end of Feigenbaum and Kahn meeting
	1-5, MAD

03-11	Monday, 4:15 Hintikka, The curious case of deductive reasoning, Redwood G19

03-12	3:45 Waldinger office, Sten-Ake on transforming progs.


03-13	noon, 352, talk on user interface ideas
	3pm, Sten-Ake, 2198,
	4:15 Hintikka, Formalizing Sherlock Holmes

	11am Okner
03-14	4:15, Dreyfus at CSLI seminar

	psa 164,mar 15, 8:30, psa 667, 9:45-10:45
	9:30 Inference Scientific Advisory Board
03-15	Friday, 4:15 The logic of science as model-oriented logic

03-16	dinner with Hurds, Quintus, 6pm

	12, lunch with Hintikka
03-18	Monday 4:15 Hintikka, A spectrum of logics of science

03-20	1pm Inference Board

	psa 664,mar 20, sjo, 7p-8:02, Air France 4, J L.A.Paris 10pm-5:25pm
	panam world pass 800 348-8000, panam federal express
	af 3, 5pm, 7:35pm, 8:30psa, also 9:45psa arr. 10:45
	Hotel Napoleon in Paris
03-21	Thurs. Centre Mondial, exposition of projects
	Andrei  Feffer

03-23	Saturday, Centre Mondial, Conseil Scientifique

03-26	to 29 March, Loch Lomond, didn't go

03-27	Wed, 4pm, Lu Ru


03-28	10am, Fateman
	2:30 robotics search

13-29	Fri ,11am, Nakul Sariya, prospective student schaffer@score
	1pm, LES and RTC

04-01                   AMARTYA K. SEN
                    "THE STANDARD OF LIVING"
                       Monday, April 1
                           8 P.M.
                    Building 200, Room 2

04-02	2:30 Faculty meeting re move to engineering

04-03	noon, Amer. Acad. lunch, Expert systems need common sense
	dinner at Louie's with Susie and Dan and Katherine,postpone
	The first Spring meeting of NAIL is 1PM Weds. 4/3, in 252MJH, and
	subsequent meetings are Wednesdays, 11AM in 301MJH.
	2pm, Lifschitz
	4pm, Ab Kader

04-04	Thurs, Senate
	12, Royden
	2:00 Robotics search

	1:45 Bert Enderton admittee
04-05	2pm Search committee, chez Yao

04-08	3pm, McGinn at VTSS, 7-2565,7-4473,854-0893

04-09	1:30 Search Committee, read folders by Monday AM and return to Phyllis
	7pm, pick up food at Louie's

04-10	Muse 872, 3:15 to 9pm
04-11	and 12, Thursday and Friday, MCC maybe.
	Fri 6:20, UA365 conn UA539 in Denver arr SJO 9:53
	actually returned by Muse on Saturday

04-15   Mon. 11:00am. A meeting with Harari, a Physics professor from Weizmann
	(he is Zohar's visitor)

04-16	noon, Stan Peters, basic research in AI
	Title: On the model theory of shared information
	Time: Tuesday, April 16, 1985 at 4:15-5:30 P.M.
	Place: Room 381-T, Math Corner, Stanford

	11am, NAIL
	2pm, Circumscription seminar, Konolige
04-17	6pm, Chez Hurd, dinner and pie

04-18	Thurs, Senate

04-19	Siglunch, Goto, CS dinner 7pm Faculty Club

04-22   Monday, 10:00am, Barry Jones, Australian minister of science
	1:30 Ab Kader

	2:30 Robotics committee
04-23	Tues. colloq. Steve Zucker, msg.msg[jnk,jmc]/94p

04-24	noon, A la Carte, Claudia

04-25	Thurs. 3pm, Hailperin, c/o berglund@Pescadero

04-26	Fri. Inference, around noon, didn't go

04-29	Monday, thru May 3, possible jury duty, 324-2039, #65,
	call weekend before
	10:30, department 31, 2nd floor Judicial wing
	County parking lot on either side of Grant Ave.

05-02	Thurs, Senate
	11- 12:15 for cs224 talk "Commonsense Knowledge and Reasoning in Logic"?

05-03	11am, Grant Fjermedal, P.O. Box 31091, Seattle, WA 98103, 206 522-8527

05-06	Hoover dinner, Faculty club, 6pm and 6:30pm

	9am qlambda at HPP, Byron Davies
05-08	11 NAIL seminar, control in Prolog
	2pm, circumscription seminar, back to AI
	3:30pm, Hook about free speech

	10:45 Tom Strat, c/o Gangolli@score
05-13	11am, MJH301, Shankar

05-15	Wed., III Board, L.A.

05-16	Thurs, Senate

05-17	Fri, Inference SAB

05-22	Wednesday, Inference Board, noon
	SJ-LA PSA 206, depart 9:25, arr. 10:29
	LA-SJ, PSA 231, depart 7:00, arr. 7:57

	May 23 (Thurs.) to June 3rd (Mon.). Rutie vacation.

05-26	Sun. to 31 Fri., AAAS, L.A. (Manfred Kochen 313 764-2585)
	accepted by phone Dec. 3, morning and afternoon
	Non-monotonic reasoning,Kochen@sumex, up to 250 word summary
	Fed exp to AAAS by Jan. 15

05-28	AAAS meeting, LA Hilton.
	SF-LA PSA 14, depart 12:11 arr. 1:11
	LA-SFO 5/29 PSA 47, depart 10:00pm, arr.10:59.
	Reservation LA Hilton.

05-29	Wed. last talk in 9am session, non-monotonic reasoning

05-30	Thurs, Senate

06-01	sat  14:00 onwards Beeson party
                  should arrive by 4pm to not miss the music,
                  champagne, and other events

06-03	3:15 Perry on Situation Semantics made easy

	11am, Danny Lehman
06-04	Tuesday, Sigma Xi initiation banquet, Royden
	imaginative, not necessarily AI

06-06	special Senate meeting

06-07	11am, Beeson

06-08	Orgy, 1:02pm,Ginsberg

06-10	and 11 Monday and Tuesday, MCC
	sr. and general faculty meetings - will miss them

06-12	3:15 Moses oral, 160,161K, Pol. Sci. bldg.

	morning, AI qual
06-13	Thurs, Senate

06-14	leave for Japan, leave 23rd, wickman, omega, 800 828-2323, 202 289-4318
	nw 27, 11:40 - 2:20pm,
	June 23, 9:30pm, JL415C Tokyo-Anchorage, arr. 11:05am
	June 30, 12noon, nw82f, Anchorage-Seattle, arr. 4pm
	June 30, 4:30pm, nw 684f, Seattle-SF, arr. 6:17pm
	Charles Wallace or Allen Millsap, 357-9558

06-18	to 21, Japan Expo, c/o Galler, home (313)668 8152.

07-08	to 20 ASL and CSLI summer school.  I have accepted Barwise
	invitation to give 45 minute presentation in the symposium on
	logic and AI.

07-18	10am, ASL,csli talk

07-26	Inference SAB tentative

07-30	Inference Board, 11am

08-17	crisis management, L.A., Dick Martin and Doug Lenat

08-18	to the 23rd, IJCAI Conference

08-28	Wed., III Board, L.A.

09-15	Abstracts due for Halpern's knowledge conference

09-21	Saturday, Centre Mondial, Conseil Scientifique

09-23	to 28, German AI, msgs from HST

09-25	Instruction begins

10-02	Wed. Inference board

11-20	Wed., III Board, L.A.

12-09	to 13 exams

1986

01-06	Instruction begins

03-17	Mon. to 21 exams

03-19	to 22 Halpern's knowledge conference, Asilomar

08-12	Monday 1986, thru 15, Computer algebra as a tool of research in
	mathematics, physics and engineering.
	LISP: How to make your own symbolic computation system. tutorial
	Computational algebraic geometry
	Richard Fateman

1987

08-23	to 29, Sunday thru Saturday, IJCAI, Milan
	Bundy, conference chairman, John McDermott, Program chairman
	arpanet:"bundy%edxa"@ucl-cs
	mcdermott@cmua